#include <iostream>
#include <fstream>
#include <cstdio>
#include <sstream>
#include <cmath>
#include <algorithm>
#include <cstring>
#include <string>
#include <map>
#include <vector>
#include <set>
#include <queue>
#include <deque>
#include <ctime>
#include <cstdlib>

using namespace std;

#define sz(x) ((int)((x).size()))

typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pii;

const double EPS = 1e-9;
const int MAXN = (int)(1e5) + 10;

int n, pw;
int vw[MAXN], pf[MAXN], vf[MAXN], th[MAXN];

double getF(double W) {
	double res = W * pw;
	for (int i = 0; i < n; i++) {
		if (vf[i] != 0) {
			if (vf[i] > 0) {
				double f = max(th[i] - W * vw[i], 0.0) / vf[i];
				res += f * pf[i];
			} else {
				double f = th[i] - W * vw[i];
				if (f > EPS) {
					return 1e18;
				}
			}
		} else {
			double f = th[i] - W * vw[i];
			if (f > EPS)
				return 1e18;
		}
	}
	return res;
}

void solve() {
	scanf("%d", &pw);
	for (int i = 0; i < n; i++) {
		scanf("%d%d%d%d", &vw[i], &pf[i], &vf[i], &th[i]);
	}
	double lf = 0.0, rg = 110.0;
	for (int it = 0; it < 70; it++) {
		double md1 = (2.0 * lf + rg) / 3.0;
		double md2 = (lf + 2.0 * rg) / 3.0;
		if (getF(md1) < getF(md2))
			rg = md2;
		else
			lf = md1;
	}
	printf("%.7lf\n", getF(lf));
}

int main() {
	//freopen(".in", "r", stdin);
	//freopen(".out", "w", stdout);

	while (scanf("%d", &n) == 1 && n != 0) {
		solve();
	}

	return 0;
}
